ROSA Analyser: An automatized approach to analyse processes of ROSA
نویسندگان
چکیده
منابع مشابه
ROSA Analyser: An automatized approach to analyse processes of ROSA
In this work we present the first version of ROSA Analyser, a tool designed to get closer to a fully automatic process of analysing the behaviour of a system specified as a process of the Markovian Process Algebra ROSA. In this first development stage, ROSA Analyser is able to generate the Labelled Transition System, according to ROSA Operational Semantics. ROSA Analyser performance starts with...
متن کاملRosa Beddington
freely distributed and have been invaluable resources Rosa Beddington died on May 18, 2001; she was to the community. just 45. Rosa moved again, in 1993, to take up the position Rosa was an embryologist of the greatest distinction; of Head of the Division of Mammalian Development at she had extraordinary technical skills, a piercing intellithe Medical Research Council’s National Institute for g...
متن کاملGenomic Approach to Study Floral Development Genes in Rosa sp.
Cultivated for centuries, the varieties of rose have been selected based on a number of flower traits. Understanding the genetic and molecular basis that contributes to these traits will impact on future improvements for this economically important ornamental plant. In this study, we used scanning electron microscopy and sections of meristems and flowers to establish a precise morphological cal...
متن کاملPharmacological Effects of Rosa Damascena
Rosa damascena mill L., known as Gole Mohammadi in is one of the most important species of Rosaceae family flowers. R. damascena is an ornamental plant and beside perfuming effect, several pharmacological properties including anti-HIV, antibacterial, antioxidant, antitussive, hypnotic, antidiabetic, and relaxant effect on tracheal chains have been reported for this plant. This article is a comp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.86.4